Koha online

1.
Asynchronous circuits

by Brzozowski, Janusz A | Seger, Carl-Johan H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1995Availability: Items available for loan: [Call number: 621.395 BRZ] (1).
Place hold
2.
Discipline of multiprogramming : programming theory for distributed applications

by Misra, Jayadev.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.434 MIS] (1).
Place hold
3.
Programming Methodology

by Mclver, Annabelle | Morgan, Carroll.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 MCL] (1).
Place hold
4.
Abstraction, Refinement and Proof for Probabilistic Systems

by McIver, Annabelle | Morgan, Carroll.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MCL] (1).
Place hold
5.
Set theory for computing

by Cantone, Domenico | Omodeo, Eugenio | Policriti, Alberto.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 511.322 CAN] (1).
Place hold

Powered by Koha